Manuel ABAD , Alicia FERNANDEZ and Nelli MESKE FREE BOOLEAN CORRELATION LATTICES
نویسندگان
چکیده
A correlation lattice is an algebra (B,∧,∨, σ, 0, 1) where (B,∧,∨, 0, 1) is a bounded lattice and σ is a dual endomorphism on B which has the property σ(x) = x for a fixed number n, n ∈ 2N + 1 ([3], [4]). This notion generalizes orthomodular lattices, and in the distributive case, Boolean algebras, De Morgan algebras and some classes of Ockham algebras. Moreover, in [4], D. Schweigert and M. Szymanska proved that correlation lattices can be used as switching algebras for multivalued logic functions. The aim of this paper is to study some properties of the variety of Boolean correlation lattices. We give a characterization of congruences and simple algebras of the variety in a different way from that given in
منابع مشابه
Regularity in residuated lattices
In this paper, we study residuated lattices in order to give new characterizations for dense, regular and Boolean elements in residuated lattices and investigate special residuated lattices in order to obtain new characterizations for the directly indecomposable subvariety of Stonean residuated lattices. Free algebra in varieties of Stonean residuated lattices is constructed. We introduce in re...
متن کاملDIRECTLY INDECOMPOSABLE RESIDUATED LATTICES
The aim of this paper is to extend results established by H. Onoand T. Kowalski regarding directly indecomposable commutative residuatedlattices to the non-commutative case. The main theorem states that a residuatedlattice A is directly indecomposable if and only if its Boolean center B(A)is {0, 1}. We also prove that any linearly ordered residuated lattice and anylocal residuated lattice are d...
متن کاملSemi-G-filters, Stonean filters, MTL-filters, divisible filters, BL-filters and regular filters in residuated lattices
At present, the filter theory of $BL$textit{-}algebras has been widelystudied, and some important results have been published (see for examplecite{4}, cite{5}, cite{xi}, cite{6}, cite{7}). In other works such ascite{BP}, cite{vii}, cite{xiii}, cite{xvi} a study of a filter theory inthe more general setting of residuated lattices is done, generalizing thatfor $BL$textit{-}algebras. Note that fil...
متن کاملFourth- and Fifth-Order Methods for Solving Nonlinear Systems of Equations: An Application to the Global Positioning System
and Applied Analysis 3 linear systems with the same matrix of coefficients, by using LU factorization, is
متن کاملTopological representation for monadic implication algebras
In this paper, every monadic implication algebra is represented as a union of a unique family of monadic filters of a suitable monadic Boolean algebra. Inspired by this representation, we introduce the notion of a monadic implication space, we give a topological representation for monadic implication algebras and we prove a dual equivalence between the category of monadic implication algebras a...
متن کامل